perm filename AMMACS.TEX[PEG,DBL]1 blob sn#470902 filedate 1979-08-28 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	% Special macros for DBL
C00003 ENDMK
CāŠ—;
% Special macros for DBL

\def\threstar #1{
	\vfill\yyskip {\hbox {\inbox{\inbox{\hbox{\tt #1}}}}} \yskip}
\def\forall{\mathrel{\char'470}}
\def\hook{\mathrel{\char'472}}
\def\inbox#1{\vbox{\hrule\hbox{\vrule\hskip 2pt 
             \vbox{\vskip 2pt #1 \vskip 2pt}\hskip 2pt\vrule}\hrule}}